On linear logic and quantum circuit diagrams:
On (categorical semantics for) dynamic lifting in the quantum programming language “Quipper”:
Andrea Colledan, Ugo Dal Lago, On Dynamic Lifting and Effect Typing in Circuit Description Languages [arXiv:2202.07636]
Andrea Colledan, Ugo Dal Lago, On Dynamic Lifting and Effect Typing in Circuit Description Languages, talk at TYPES Workshop, Nantes (2022) [pdf, pdf]
Last revised on September 11, 2023 at 13:11:37. See the history of this page for a list of all contributions to it.